verific相关论文
Contextual refinement is a compositional approach to compositional verification of concurrent objects.There has been muc......
Error modelling and compensating technology is an effective method to improve the processing precision.The position and ......
INCAPS,a subsystem of XYZ system,is an INteractive Computer-Assisted Proving System,The primary targets to develop it r......
In order to calculating the neutron flux in the surveillance box and reactor pressure vessel of the Tianwan NPP, we need......
During the Huanghai Sea Circulation and Material Flux Expedition in Spring 1996, fco_2 in surface water and atmosphere w......
A new kind of feature for speech recognition, called Bi-Mel-scale Frequency Cepstrum (BMFC) is proposed. To calculate th......
分析中国玉米高产田（兰15000kg／hm^2）的典型特征、内在规律，提出产量突破的途径与关键技术，并进行高产验证。结果表明。35°N-44......
为加强大藤峡水利枢纽工程质量管理和投资控制,及时、系统和准确地反映甲供材料的供应和消耗状况,文章从大藤峡水利枢纽工程实际出......
2018年7月12日,海原小山钻孔应变S_2、S_3分量出现转折,由上升转为下降的压性变化,S_4分量出现快速上升变化。通过现场调查落实,排......
提出了一种可验证的图像秘密共享方案。由于秘密份额由参与者自己选取,该方案可防止原始图像持有者和参与者的欺诈;不需要安全信道......
介绍了钳形接地电阻仪测量的基本概念和原理,阐述了笔者对JJG1054-2009《钳形接地电阻仪检定规程》的初步认识以及如何根据规程开......
根据湖北省电力公司2004年继电保护反措中有关出口继电器检验的具体要求,针对北京四方CSL-101微机保护及FCX-12J分相操作箱,介绍了......
In order to solve the problems of rolling forming accuracy and fillet thinning of alloy steel rim, a three-dimensional m......
“旧学邃密, 新知深沉” 的胡适在中国现代文化思想史上是一位影响深远的重要人物.他具有革新精神, 首发 “文学革命” 之呐喊, 首......
本文通过ＡＳＩＣ电路伪随机码产生器的设计过程，详细介绍了一种采用高级语言描述其行为功能，检证其功能正确性的方法，从而获得正确的测试向量......
FA-200型变比电桥校验仪作为感应分压器类检定装置的经典仪器,在各计量部门和电力系统中被广泛应用。对FA-200型变比电桥校验仪原......
本文讨论了现代意义理论其中的三种,指出三种意义理论各自的长处,并对各种理论存在的困难进行了分析.本文最后认为,这些意义理论存......
在高职教育中推行学历证书、职业资格证书并重制度,是高职教育改革与发展的一个趋势,也是高等职业教育自身的特性和实现培养目标的......
重点介绍了对抽验不合格药品进行核查工作的内容、目的及其重要性,并简要叙述了其核查方法.......
目的:分析影响螺旋断层放射治疗患者计划验证通过率的因素,解决通过率偏低的问题。方法:对以下因素逐一进行验证分析:①对ArcCHECK......
过去对系统的设计要求说明都是采用自然语言,这种说明形式是比较含糊的,并且缺乏标准的机器可执行代码而无法进行验证.然而属性说......
提出了弹上电子产品开展发射可靠性验证试验的必要性判别方法,论述了弹上电子产品完成飞行可靠性验证试验后,无须再开展发射可靠性......
混合系统是指嵌入于物理环境中数字实时系统，由于计算机技术的快速发展，混合系统在各行各业中都得到广泛应用，但是由于混合系统涉及到......
探讨了ISO9906和GB／T3216标准中有关流量、扬程、效率和NPSHR的判定问题。以标准中性能保证值判定为基础，分析了标准中性能满足的保......
OAuth协议是一套用于在不同的服务中进行身份认证并且实现资源互访一套协议.由于关系到用户隐私，所以OAuth协议的安全性非常重要.这......
文中根据标准要求结合实际工作,探讨了检验检测机构实验室计量确认,以便更好地对仪器设备实施管理。......
